Thomas J. Bloem: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Handbook of Model Checking || Satisfiability Modulo Theories

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 923 KB

english, 2018

2

Handbook of Model Checking || Model Checking Security Protocols

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 920 KB

english, 2018

3

Handbook of Model Checking || Transfer of Model Checking to Industrial Practice

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 742 KB

english, 2018

4

Handbook of Model Checking || Binary Decision Diagrams

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 828 KB

english, 2018

5

Handbook of Model Checking || Process Algebra and Model Checking

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1001 KB

english, 2018

6

MDS research criteria for prodromal Parkinson's disease

Berg, Daniela, Postuma, Ronald B., Adler, Charles H., Bloem, Bastiaan R., Chan, Piu, Dubois, Bruno, Gasser, Thomas, Goetz, Christopher G., Halliday, Glenda, Joseph, Lawrence, Lang, Anthony E., Liepelt

Journal:

Movement Disorders

Year:

2015

Language:

english

File:

PDF, 295 KB

english, 2015

7

Ocular and visual disorders in Parkinson's disease: Common but frequently overlooked

Ekker, Merel S., Janssen, Sabine, Seppi, Klaus, Poewe, Werner, de Vries, Nienke M., Theelen, Thomas, Nonnekes, Jorik, Bloem, Bastiaan R.

Journal:

Parkinsonism & Related Disorders

Year:

2017

Language:

english

File:

PDF, 769 KB

english, 2017

8

Handbook of Model Checking || BDD-Based Symbolic Model Checking

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 795 KB

english, 2018

9

Handbook of Model Checking || Combining Model Checking and Data-Flow Analysis

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1.13 MB

english, 2018

10

Handbook of Model Checking || Graph Games and Reactive Synthesis

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1.05 MB

english, 2018

11

A Consensus Set of Outcomes for Parkinson’s Disease from the International Consortium for Health Outcomes Measurement

de Roos, Paul, Bloem, Bastiaan R., Kelley, Thomas A., Antonini, Angelo, Dodel, Richard, Hagell, Peter, Marras, Connie, Martinez-Martin, Pablo, Mehta, Shyamal H., Odin, Per, Chaudhuri, Kallol Ray, Wein

Journal:

Journal of Parkinson s Disease

Year:

2017

Language:

english

File:

PDF, 90 KB

english, 2017

12

Handbook of Model Checking || Model Checking Concurrent Programs

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 978 KB

english, 2018

13

Handbook of Model Checking || Model Checking Real-Time Systems

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1.26 MB

english, 2018

14

Handbook of Model Checking || Compositional Reasoning

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 998 KB

english, 2018

15

Handbook of Model Checking || Explicit-State Model Checking

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 721 KB

english, 2018

16

Handbook of Model Checking || Automata Theory and Model Checking

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1012 KB

english, 2018

17

Handbook of Model Checking || Combining Model Checking and Testing

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1010 KB

english, 2018

18

Handbook of Model Checking || Modeling for Verification

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1.59 MB

english, 2018

19

Handbook of Model Checking || Predicate Abstraction for Program Verification

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1.39 MB

english, 2018

20

Handbook of Model Checking || The mu-calculus and Model Checking

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1.07 MB

english, 2018

21

Handbook of Model Checking || Model Checking Procedural Programs

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1003 KB

english, 2018

22

Handbook of Model Checking || Model Checking Probabilistic Systems

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 955 KB

english, 2018

23

Handbook of Model Checking || Abstraction and Abstraction Refinement

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1011 KB

english, 2018

24

Handbook of Model Checking || Functional Specification of Hardware via Temporal Logic

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 898 KB

english, 2018

25

Handbook of Model Checking || Partial-Order Reduction

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 720 KB

english, 2018

26

Handbook of Model Checking || Interpolation and Model Checking

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 935 KB

english, 2018

27

Handbook of Model Checking || Symbolic Trajectory Evaluation

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 952 KB

english, 2018

28

Handbook of Model Checking || SAT-Based Model Checking

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 856 KB

english, 2018

29

Handbook of Model Checking || Model Checking Parameterized Systems

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1022 KB

english, 2018

30

Handbook of Model Checking || Introduction to Model Checking

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 843 KB

english, 2018

31

Handbook of Model Checking || Combining Model Checking and Deduction

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 893 KB

english, 2018

32

Handbook of Model Checking || Symbolic Model Checking in Non-Boolean Domains

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 976 KB

english, 2018

33

Handbook of Model Checking || Temporal Logic and Fair Discrete Systems

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1.01 MB

english, 2018

34

Handbook of Model Checking || Propositional SAT Solving

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1.04 MB

english, 2018

35

Handbook of Model Checking || Verification of Hybrid Systems

Clarke, Edmund M., Henzinger, Thomas A., Veith, Helmut, Bloem, Roderick

Year:

2018

Language:

english

File:

PDF, 1.39 MB

english, 2018

36

Personalized care management for persons with Parkinson's disease: A telenursing solution

Mancini, Francesca, van Halteren, Angelika D., Carta, Tania, Thomas, Sue, Bloem, Bastiaan R., Darweesh, Sirwan K.L.

Journal:

Clinical Parkinsonism & Related Disorders

Year:

2020

File:

PDF, 290 KB

2020

37

Comparison of quantitative cartilage measurements acquired on two 3.0T MRI systems from different manufacturers

Peter R. Kornaat, Seungbum Koo, Thomas P. Andriacchi, Johan L. Bloem, Garry E. Gold

Journal:

Journal of Magnetic Resonance Imaging

Year:

2006

Language:

english

File:

PDF, 546 KB

english, 2006

38

[123I]β-CIT SPECT distinguishes vascular parkinsonism from Parkinson's disease

Willibald Gerschlager, Gerhard Bencsits, Walter Pirker, Bastiaan R. Bloem, Susanne Asenbaum, Daniella Prayer, Jan C.M. Zijlmans, Martha Hoffmann, Thomas Brücke

Journal:

Movement Disorders

Year:

2002

Language:

english

File:

PDF, 837 KB

english, 2002

39

The In Vivo Wear Resistance of 12 Composite Resins

Brien R. Lang, Thomas J. Bloem, John M. Powers, Rui-Feng Wang

Journal:

Journal of Prosthodontics

Year:

1992

Language:

english

File:

PDF, 722 KB

english, 1992

40

Nutrient cycling through phytoplankton, bacteria and protozoa, in selectively filtered Lake Vechten water

Bloem, Jaap, Albert, Claudia, Bär-Gillissen, Marie-José B., Berman, Thomas, Cappenberg, Thomas E.

Journal:

Journal of Plankton Research

Year:

1989

Language:

english

File:

PDF, 660 KB

english, 1989

41

Role of PRL-3, a Human Muscle-Specific Tyrosine Phosphatase, in Angiotensin-II Signaling

William F. Matter, Thomas Estridge, Chen Zhang, Rama Belagaje, Louis Stancato, Jeff Dixon, Brian Johnson, Laura Bloem, Todd Pickard, Mary Donaghue, Susan Acton, Raju Jeyaseelan, Vivek Kadambi, Chris J

Journal:

Biochemical and Biophysical Research Communications

Year:

2001

Language:

english

File:

PDF, 188 KB

english, 2001

42

Microbial colonization of dental implants in partially edentulous subjects

Sreenivas Koka, Michael E. Razzoog, Thomas J. Bloem, Salam Syed

Journal:

The Journal of Prosthetic Dentistry

Year:

1993

Language:

english

File:

PDF, 495 KB

english, 1993

43

02 Investigation of adducin phosphorylation by PKC in neonatal rat cardiomyocytes

Thomas B. Estridge, Xu-Shan Wang, Laura Bloem, Chris J. Vlahos

Journal:

Journal of Molecular and Cellular Cardiology

Year:

2002

Language:

english

File:

PDF, 137 KB

english, 2002

44

01 Protein kinase C βII activation induces ACE expression in cardiomyocytes

Jian Wang, Yuke Zhang, Lan Yu, Laura Bloem, Christine E. McDonald, James P. Schrementi, Thomas B. Estridge, XuShan Wang, Chris J. Vlahos

Journal:

Journal of Molecular and Cellular Cardiology

Year:

2002

Language:

english

File:

PDF, 137 KB

english, 2002

45

Sub-Sampling Technique for the Determination of Particulate-Phase Organic Carbon in Water

David J. Anderson, Thomas B. Bloem, Jonathan V. Higgins

Journal:

Journal of Great Lakes Research

Year:

1998

Language:

english

File:

PDF, 914 KB

english, 1998

46

Concentrations of Polychlorinated Biphenyls in the Water Column of the Laurentian Great Lakes: Spring 1993

David J. Anderson, Thomas B. Bloem, Robin K. Blankenbaker, Thomas A. Stanko

Journal:

Journal of Great Lakes Research

Year:

1999

Language:

english

File:

PDF, 142 KB

english, 1999

47

Denture plaque control and inflammation in the edentulous patient

Barbara B. Chamberlain, Steven H. Bernier, Thomas J. Bloem, Michael E. Razzoog

Journal:

The Journal of Prosthetic Dentistry

Year:

1985

Language:

english

File:

PDF, 793 KB

english, 1985

48

Synthesizing robust systems

Bloem, Roderick, Chatterjee, Krishnendu, Greimel, Karin, Henzinger, Thomas A., Hofferek, Georg, Jobstmann, Barbara, Könighofer, Bettina, Könighofer, Robert

Journal:

Acta Informatica

Year:

2014

Language:

english

File:

PDF, 794 KB

english, 2014

49

Time to redefine PD? Introductory statement of the MDS Task Force on the definition of Parkinson's disease

Berg, Daniela, Postuma, Ronald B., Bloem, Bastiaan, Chan, Piu, Dubois, Bruno, Gasser, Thomas, Goetz, Christopher G., Halliday, Glenda M., Hardy, John, Lang, Anthony E., Litvan, Irene, Marek, Kenneth,

Journal:

Movement Disorders

Year:

2014

Language:

english

File:

PDF, 271 KB

english, 2014

50

[IEEE 2011 6th IEEE International Symposium on Industrial Embedded Systems (SIES) - Vasteras, Sweden (2011.06.15-2011.06.17)] 2011 6th IEEE International Symposium on Industrial and Embedded Systems - Specification-centered robustness

Bloem, Roderick, Chatterjee, Krishnendu, Greimel, Karin, Henzinger, Thomas A., Jobstmann, Barbara

Year:

2011

Language:

english

File:

PDF, 1.09 MB

english, 2011